- справедливо и обратное утверждение
- l'inverse est également vrai
Русско-французский словарь бизнесмена. Р. Жиро. 2002.
справедливо и обратное утверждение
Regardez d'autres dictionnaires:
Лобачевский, Николай Иванович — родился 22 октября 1793 г. в Нижегородской губернии (по одному источнику в Нижнем Новгороде, по другому в Макарьевском уезде). Отец его Иван Максимович, выходец из Западного края, по вероисповеданию католик, потом перешедший в православную веру,… … Большая биографическая энциклопедия
КОГЕН — (Cohen) Герман (1842 1918) немецкий философ, основатель и виднейший представитель марбургской школы неокантианства. Основные работы: ‘Теория опыта Канта’ (1885), ‘Обоснование Кантом этики’ (1877), ‘Обоснование Кантом эстетики’ (1889), ‘Логика… … История Философии: Энциклопедия
ВЛОЖЕНИЯ ТЕОРЕМЫ — теоремы, относящиеся к циклу вопросов, посвященных изучению неравенств между нормами одной и той же функции, принадлежащей к разным классам (нормированным пространствам). Обычно речь идет о двух классах и , где есть часть и при этом выполняется… … Математическая энциклопедия
КОДИРОВАНИЕ И ДЕКОДИРОВАНИЕ — процесс представления информации в определенной стандартной форме и обратный процесс восстановления информации по ее такому представлению. В математич. литературе кодированием наз. отображение произвольного множества Ав множество конечных… … Математическая энциклопедия
ОБОБЩЕННОГО СДВИГА ОПЕРАТОРЫ — гипергруппа, понятие, возникшее в результате аксиоматизации нек рых свойств операторов сдвига в пространствах функций на группе. В терминах операторов группового сдвига можно сформулировать такие важные математич. понятия как свертка, групповая… … Математическая энциклопедия
РАЗНОСТНАЯ ВАРИАЦИОННАЯ СХЕМА — разностная схема, построенная на основе вариационной задачи, соответствующей краевой задаче для дифференциального уравнения. Основная идея построения Р. в. с. состоит в том, чтобы при специальном выборе координатных функций в Ритца методе… … Математическая энциклопедия
НЕПРОТИВОРЕЧИВОСТЬ — свойство формальной системы, состоящее в том, что не каждая формула этой системы доказуема в ней. Формальные системы, обладающие этим свойством, наз. непротиворечивым и, или формально непротиворечивым и. В противном случае формальная система наз … Математическая энциклопедия
ПРОСТРАНСТВЕННЫЕ ФОРМЫ — связные полные римановы пространства постоянной кривизны. Проблема классификации n мерных римановых пространств произвольной постоянной кривизны была сформулирована В. Киллингом (W. Killing, 1891), к рый назвал ее проблем ой пространственных форм … Математическая энциклопедия
Непротиворечивость — Сюда перенаправляется запрос «Несовместимость». На эту тему нужна отдельная статья. Непротиворечивость свойство формальной системы, заключающееся в невыводимости из неё противоречия. Если отрицание какого то предложения из системы может… … Википедия
КРОЧЕ Бенедетто (1866-1952) — итальянский философ, историк, литературовед, общественный деятель. Неогегельянец, лидер историцистского направления (другие его представители Джентиле и Р.Дж.Коллингвуд) в последнем, противопоставлявший себя как абсолютному идеализму, так и… … История Философии: Энциклопедия
Поверхностей теория — раздел дифференциальной геометрии, в котором изучаются свойства поверхностей (см. Дифференциальная геометрия, Поверхность). В классической П. т. рассматриваются свойства поверхностей, неизменные при движениях. Одна из основных задач… … Большая советская энциклопедия
